least fixed-point

[计] 最小不动点, 最小定点